| Name | Version | Summary | date |
|---|---|---|---|
| deolingo | 1.0.3 | A deontic logic solver for explainable deontic reasoning with Answer Set Programming (ASP). | 2025-10-21 19:50:59 |
| logic-lm-mcp-server | 1.0.1 | A Model Context Protocol server that provides symbolic reasoning capabilities using Logic-LM framework and Answer Set Programming | 2025-08-28 21:36:54 |
| savanty | 0.2.1 | An intelligent optimization problem solver using LLMs and Answer Set Programming | 2025-08-22 11:30:19 |
| hour | day | week | total |
|---|---|---|---|
| 96 | 1614 | 9962 | 331791 |